Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
Nowadays many people go traveling for the holidays.
下面许多人都在假期里去度假。
Will Martha's consent to her marriage?
玛莎的双亲会赞成她的婚事吗？
Twenty or thirty pages of information handed to any of the major world powers around the year 1925 would have been sufficient to change the course of world history.
如果把二三十页的情报交给1952年前后的任何一个世界强国，就足以改变世界历史的进程。